---

universally quantified variable

英 [ˌjuːnɪˈvɜːsəli ˈkwɒntɪfaɪd ˈveəriəbl] 美 [ˌjuːnɪˈvɜːrsəli ˈkwɑːntɪfaɪd ˈveriəbl]

【计】全称量词化变元

计算机

---

---